Description Logics for Documentation
نویسنده
چکیده
Much of the activity in a digital library revolves around collecting, organizing and publishing knowledge about the resources of the library, in the form of metadata records. In order to document such activity, digital librarians need to express knowledge about the metadata records they produce. This knowledge, which we call documentation knowledge, may express e.g., provenance, trustability, or access restrictions of the records. Today, documentation knowledge is mostly represented in digital libraries via RDF. We propose a new type of information system, called documentation system, as a basic component of a digital library allowing to represent and reason about both domain and documentation knowledge in an expressive language such as OWL.
منابع مشابه
Infinitely Valued Gödel Semantics for Expressive Description Logics
Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0, 1] have been shown to be undecidable in the presence of a negation constructor and general concept inclusions. One exception are those FDLs whose semantics is based on the infinitely valu...
متن کاملA Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing
Contrasting to Description Logics (DLs), there are some inherent shortcomings in classical fuzzy Description Logics (FDLs). For example, they no longer satisfy the complementary laws. In this paper, to analyze these shortcomings derived from Zadeh semantics, an improved fuzzy set definition using Boolean lattices is approached, whereas, the analogous definition of Zadeh Fuzzy Set can only use a...
متن کاملAction Hierarchies in Description Logics
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans in a description logic. These plans consist of one or more actions or other plans. This language independent representation is also designed to support the qualitative simulation of the documentation steps and to supp...
متن کاملReasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0, 1] have been shown to be undecidable in the presence of a negation constructor and general concept inclusions. One exception are those FDLs whose semantics is based on the infinitely valu...
متن کاملAction Hierarchies for the Automatic Generation of MultilingualTechnical
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent representation is also designed to allow for the qualitative simulation of the documentation steps and to support the generation of multilingual text by ooering diierent levels of detailed action descriptions for verbali...
متن کامل